Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
271	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:56 Software development Software engineering Theoretical computer science Aspect-oriented software development Lambda calculus Aspect-oriented programming -calculus Pointcut Combinatory logic XTR
272	PDF Document Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-02-28 14:55:06 Type theory Functional languages Type systems Procedural programming languages Lambda calculus Type inference Monad ML HindleyMilner type system Functional programming Parallel computing Unification
273	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:11 Theoretical computer science Mathematics Software engineering Logic in computer science Models of computation Programming language semantics Lambda calculus Operational semantics Substitution Expression Variable Monad
274	PDF Document Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-06-13 18:57:34 Logic in computer science Lambda calculus Theoretical computer science Computability theory Combinatory logic A New Kind of Science Programming language Computer programming
275	Parametric Completion for Models of Polymorphic Linear / Intuitionistic Lambda Calculus Rasmus Ejlers Møgelberg IT University Technical Report Series Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:05
276	Decreasing energy functions for some cellular automata E. Goles * Department of Mathematics Engineering School University of Chile Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:11:03 Combinatory logic Lambda calculus Logic in computer science Stochastic processes Estimation theory Heat equation Itō diffusion Statistics Mathematics Mathematical analysis
277	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:38 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming
278	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
279	BRICS RSK. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-23 17:22:09
280	Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2013-12-29 19:43:45 Applied mathematics Theoretical computer science Data types Polymorphism Lambda calculus Π-calculus Type system Subtype polymorphism System F Mathematics Type theory Software engineering

UPDATE